it seems updater plugin is not using proxy set in general preferences.
i'm able to fetch plugins updates [-> prooves jedit using proxy] but no luck with
jedit daily update.
i'm using:
jEdit 5.1pre1
updater 0.3
br/piotr
Submitted | dzebrys - 2013-11-08 - 11:27:29z | Assigned | shlomy |
---|---|---|---|
Priority | 5 | Category | None |
Status | Open | Group | None |
Resolution | None | Visibility | No |
2013-11-08 - 12:56:53z dzebrys |
i've verified proxy connection in jedit using InfoViewer plugin. when submitted link below in it the file is opened without problem. http://www.tellurianring.com/projects/jedit-daily/jEdit/2013-11-04_15-35-47/jedit5.2pre1install.jar |
---|